『計算論計算可能性とラムダ計算』 - mrsekut-p

『計算論計算可能性とラムダ計算』

https://gyazo.com/8edad7ba843d05fe694380e2e9863582

1991/8/1

高橋正子著

近代科学社

この本特有の記号, 用語

Nプログラム

基本プログラムのこと

pp. 7-8

原始的関数

原始帰納的関数のこと

$ \dot -: 演算結果が負数の場合は0になる引き算 p.5

ラムダ抽象$ M中の自由変数$ \mathrm{FV}(M) p.65

1章

帰納的関数論について

whileプログラム

原始帰納的関数

2章

説明がかなりまどろっこしいmrsekut.icon

Church-Rosserの定理